Optimal. Leaf size=465 \[ \frac{1}{11} d^3 x^5 \left (c^2 x^2+1\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (c^2 x^2+1\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{8}{231} d^3 x^5 \left (c^2 x^2+1\right ) \left (a+b \sinh ^{-1}(c x)\right )^2-\frac{32 b d^3 x^4 \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{5775 c}+\frac{128 b d^3 x^2 \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^3}-\frac{2 b d^3 \left (c^2 x^2+1\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{8 b d^3 \left (c^2 x^2+1\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (c^2 x^2+1\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{1617 c^5}+\frac{4 b d^3 \left (c^2 x^2+1\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{1155 c^5}-\frac{16 b d^3 \left (c^2 x^2+1\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{693 c^5}-\frac{256 b d^3 \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^5}+\frac{16 d^3 x^5 \left (a+b \sinh ^{-1}(c x)\right )^2}{1155}+\frac{2 b^2 c^6 d^3 x^{11}}{1331}+\frac{182 b^2 c^4 d^3 x^9}{29403}+\frac{9410 b^2 c^2 d^3 x^7}{1120581}-\frac{50488 b^2 d^3 x^3}{12006225 c^2}+\frac{100976 b^2 d^3 x}{4002075 c^4}+\frac{12622 b^2 d^3 x^5}{6670125} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.05765, antiderivative size = 465, normalized size of antiderivative = 1., number of steps used = 21, number of rules used = 11, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.423, Rules used = {5744, 5661, 5758, 5717, 8, 30, 266, 43, 5732, 12, 1153} \[ \frac{1}{11} d^3 x^5 \left (c^2 x^2+1\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (c^2 x^2+1\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{8}{231} d^3 x^5 \left (c^2 x^2+1\right ) \left (a+b \sinh ^{-1}(c x)\right )^2-\frac{32 b d^3 x^4 \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{5775 c}+\frac{128 b d^3 x^2 \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^3}-\frac{2 b d^3 \left (c^2 x^2+1\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{8 b d^3 \left (c^2 x^2+1\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (c^2 x^2+1\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{1617 c^5}+\frac{4 b d^3 \left (c^2 x^2+1\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{1155 c^5}-\frac{16 b d^3 \left (c^2 x^2+1\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{693 c^5}-\frac{256 b d^3 \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^5}+\frac{16 d^3 x^5 \left (a+b \sinh ^{-1}(c x)\right )^2}{1155}+\frac{2 b^2 c^6 d^3 x^{11}}{1331}+\frac{182 b^2 c^4 d^3 x^9}{29403}+\frac{9410 b^2 c^2 d^3 x^7}{1120581}-\frac{50488 b^2 d^3 x^3}{12006225 c^2}+\frac{100976 b^2 d^3 x}{4002075 c^4}+\frac{12622 b^2 d^3 x^5}{6670125} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5744
Rule 5661
Rule 5758
Rule 5717
Rule 8
Rule 30
Rule 266
Rule 43
Rule 5732
Rule 12
Rule 1153
Rubi steps
\begin{align*} \int x^4 \left (d+c^2 d x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx &=\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} (6 d) \int x^4 \left (d+c^2 d x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx-\frac{1}{11} \left (2 b c d^3\right ) \int x^5 \left (1+c^2 x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right ) \, dx\\ &=-\frac{2 b d^3 \left (1+c^2 x^2\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{77 c^5}+\frac{4 b d^3 \left (1+c^2 x^2\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{99 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{2}{33} d^3 x^5 \left (1+c^2 x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{33} \left (8 d^2\right ) \int x^4 \left (d+c^2 d x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx-\frac{1}{33} \left (4 b c d^3\right ) \int x^5 \left (1+c^2 x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right ) \, dx+\frac{1}{11} \left (2 b^2 c^2 d^3\right ) \int \frac{\left (1+c^2 x^2\right )^3 \left (8-28 c^2 x^2+63 c^4 x^4\right )}{693 c^6} \, dx\\ &=-\frac{4 b d^3 \left (1+c^2 x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{165 c^5}+\frac{2 b d^3 \left (1+c^2 x^2\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{231 c^5}+\frac{8 b d^3 \left (1+c^2 x^2\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{8}{231} d^3 x^5 \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (1+c^2 x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{231} \left (16 d^3\right ) \int x^4 \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx+\frac{\left (2 b^2 d^3\right ) \int \left (1+c^2 x^2\right )^3 \left (8-28 c^2 x^2+63 c^4 x^4\right ) \, dx}{7623 c^4}-\frac{1}{231} \left (16 b c d^3\right ) \int x^5 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right ) \, dx+\frac{1}{33} \left (4 b^2 c^2 d^3\right ) \int \frac{\left (1+c^2 x^2\right )^2 \left (8-20 c^2 x^2+35 c^4 x^4\right )}{315 c^6} \, dx\\ &=-\frac{16 b d^3 \left (1+c^2 x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{693 c^5}+\frac{4 b d^3 \left (1+c^2 x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{1155 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{1617 c^5}+\frac{8 b d^3 \left (1+c^2 x^2\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{16 d^3 x^5 \left (a+b \sinh ^{-1}(c x)\right )^2}{1155}+\frac{8}{231} d^3 x^5 \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (1+c^2 x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{\left (2 b^2 d^3\right ) \int \left (8-4 c^2 x^2+3 c^4 x^4+113 c^6 x^6+161 c^8 x^8+63 c^{10} x^{10}\right ) \, dx}{7623 c^4}+\frac{\left (4 b^2 d^3\right ) \int \left (1+c^2 x^2\right )^2 \left (8-20 c^2 x^2+35 c^4 x^4\right ) \, dx}{10395 c^4}-\frac{\left (32 b c d^3\right ) \int \frac{x^5 \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}} \, dx}{1155}+\frac{1}{231} \left (16 b^2 c^2 d^3\right ) \int \frac{8-4 c^2 x^2+3 c^4 x^4+15 c^6 x^6}{105 c^6} \, dx\\ &=\frac{16 b^2 d^3 x}{7623 c^4}-\frac{8 b^2 d^3 x^3}{22869 c^2}+\frac{2 b^2 d^3 x^5}{12705}+\frac{226 b^2 c^2 d^3 x^7}{53361}+\frac{46 b^2 c^4 d^3 x^9}{9801}+\frac{2 b^2 c^6 d^3 x^{11}}{1331}-\frac{32 b d^3 x^4 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{5775 c}-\frac{16 b d^3 \left (1+c^2 x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{693 c^5}+\frac{4 b d^3 \left (1+c^2 x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{1155 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{1617 c^5}+\frac{8 b d^3 \left (1+c^2 x^2\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{16 d^3 x^5 \left (a+b \sinh ^{-1}(c x)\right )^2}{1155}+\frac{8}{231} d^3 x^5 \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (1+c^2 x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{\left (32 b^2 d^3\right ) \int x^4 \, dx}{5775}+\frac{\left (4 b^2 d^3\right ) \int \left (8-4 c^2 x^2+3 c^4 x^4+50 c^6 x^6+35 c^8 x^8\right ) \, dx}{10395 c^4}+\frac{\left (16 b^2 d^3\right ) \int \left (8-4 c^2 x^2+3 c^4 x^4+15 c^6 x^6\right ) \, dx}{24255 c^4}+\frac{\left (128 b d^3\right ) \int \frac{x^3 \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}} \, dx}{5775 c}\\ &=\frac{8368 b^2 d^3 x}{800415 c^4}-\frac{4184 b^2 d^3 x^3}{2401245 c^2}+\frac{12622 b^2 d^3 x^5}{6670125}+\frac{9410 b^2 c^2 d^3 x^7}{1120581}+\frac{182 b^2 c^4 d^3 x^9}{29403}+\frac{2 b^2 c^6 d^3 x^{11}}{1331}+\frac{128 b d^3 x^2 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^3}-\frac{32 b d^3 x^4 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{5775 c}-\frac{16 b d^3 \left (1+c^2 x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{693 c^5}+\frac{4 b d^3 \left (1+c^2 x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{1155 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{1617 c^5}+\frac{8 b d^3 \left (1+c^2 x^2\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{16 d^3 x^5 \left (a+b \sinh ^{-1}(c x)\right )^2}{1155}+\frac{8}{231} d^3 x^5 \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (1+c^2 x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2-\frac{\left (256 b d^3\right ) \int \frac{x \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}} \, dx}{17325 c^3}-\frac{\left (128 b^2 d^3\right ) \int x^2 \, dx}{17325 c^2}\\ &=\frac{8368 b^2 d^3 x}{800415 c^4}-\frac{50488 b^2 d^3 x^3}{12006225 c^2}+\frac{12622 b^2 d^3 x^5}{6670125}+\frac{9410 b^2 c^2 d^3 x^7}{1120581}+\frac{182 b^2 c^4 d^3 x^9}{29403}+\frac{2 b^2 c^6 d^3 x^{11}}{1331}-\frac{256 b d^3 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^5}+\frac{128 b d^3 x^2 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^3}-\frac{32 b d^3 x^4 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{5775 c}-\frac{16 b d^3 \left (1+c^2 x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{693 c^5}+\frac{4 b d^3 \left (1+c^2 x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{1155 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{1617 c^5}+\frac{8 b d^3 \left (1+c^2 x^2\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{16 d^3 x^5 \left (a+b \sinh ^{-1}(c x)\right )^2}{1155}+\frac{8}{231} d^3 x^5 \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (1+c^2 x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{\left (256 b^2 d^3\right ) \int 1 \, dx}{17325 c^4}\\ &=\frac{100976 b^2 d^3 x}{4002075 c^4}-\frac{50488 b^2 d^3 x^3}{12006225 c^2}+\frac{12622 b^2 d^3 x^5}{6670125}+\frac{9410 b^2 c^2 d^3 x^7}{1120581}+\frac{182 b^2 c^4 d^3 x^9}{29403}+\frac{2 b^2 c^6 d^3 x^{11}}{1331}-\frac{256 b d^3 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^5}+\frac{128 b d^3 x^2 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{17325 c^3}-\frac{32 b d^3 x^4 \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{5775 c}-\frac{16 b d^3 \left (1+c^2 x^2\right )^{3/2} \left (a+b \sinh ^{-1}(c x)\right )}{693 c^5}+\frac{4 b d^3 \left (1+c^2 x^2\right )^{5/2} \left (a+b \sinh ^{-1}(c x)\right )}{1155 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{7/2} \left (a+b \sinh ^{-1}(c x)\right )}{1617 c^5}+\frac{8 b d^3 \left (1+c^2 x^2\right )^{9/2} \left (a+b \sinh ^{-1}(c x)\right )}{297 c^5}-\frac{2 b d^3 \left (1+c^2 x^2\right )^{11/2} \left (a+b \sinh ^{-1}(c x)\right )}{121 c^5}+\frac{16 d^3 x^5 \left (a+b \sinh ^{-1}(c x)\right )^2}{1155}+\frac{8}{231} d^3 x^5 \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{2}{33} d^3 x^5 \left (1+c^2 x^2\right )^2 \left (a+b \sinh ^{-1}(c x)\right )^2+\frac{1}{11} d^3 x^5 \left (1+c^2 x^2\right )^3 \left (a+b \sinh ^{-1}(c x)\right )^2\\ \end{align*}
Mathematica [A] time = 0.461173, size = 299, normalized size = 0.64 \[ \frac{d^3 \left (12006225 a^2 c^5 x^5 \left (105 c^6 x^6+385 c^4 x^4+495 c^2 x^2+231\right )-6930 a b \sqrt{c^2 x^2+1} \left (33075 c^{10} x^{10}+111475 c^8 x^8+117625 c^6 x^6+18933 c^4 x^4-25244 c^2 x^2+50488\right )-6930 b \sinh ^{-1}(c x) \left (b \sqrt{c^2 x^2+1} \left (33075 c^{10} x^{10}+111475 c^8 x^8+117625 c^6 x^6+18933 c^4 x^4-25244 c^2 x^2+50488\right )-3465 a c^5 x^5 \left (105 c^6 x^6+385 c^4 x^4+495 c^2 x^2+231\right )\right )+2 b^2 c x \left (10418625 c^{10} x^{10}+42917875 c^8 x^8+58224375 c^6 x^6+13120569 c^4 x^4-29156820 c^2 x^2+174940920\right )+12006225 b^2 c^5 x^5 \left (105 c^6 x^6+385 c^4 x^4+495 c^2 x^2+231\right ) \sinh ^{-1}(c x)^2\right )}{13867189875 c^5} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.092, size = 544, normalized size = 1.2 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.24128, size = 1497, normalized size = 3.22 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.87466, size = 1135, normalized size = 2.44 \begin{align*} \frac{10418625 \,{\left (121 \, a^{2} + 2 \, b^{2}\right )} c^{11} d^{3} x^{11} + 471625 \,{\left (9801 \, a^{2} + 182 \, b^{2}\right )} c^{9} d^{3} x^{9} + 12375 \,{\left (480249 \, a^{2} + 9410 \, b^{2}\right )} c^{7} d^{3} x^{7} + 2079 \,{\left (1334025 \, a^{2} + 12622 \, b^{2}\right )} c^{5} d^{3} x^{5} - 58313640 \, b^{2} c^{3} d^{3} x^{3} + 349881840 \, b^{2} c d^{3} x + 12006225 \,{\left (105 \, b^{2} c^{11} d^{3} x^{11} + 385 \, b^{2} c^{9} d^{3} x^{9} + 495 \, b^{2} c^{7} d^{3} x^{7} + 231 \, b^{2} c^{5} d^{3} x^{5}\right )} \log \left (c x + \sqrt{c^{2} x^{2} + 1}\right )^{2} + 6930 \,{\left (363825 \, a b c^{11} d^{3} x^{11} + 1334025 \, a b c^{9} d^{3} x^{9} + 1715175 \, a b c^{7} d^{3} x^{7} + 800415 \, a b c^{5} d^{3} x^{5} -{\left (33075 \, b^{2} c^{10} d^{3} x^{10} + 111475 \, b^{2} c^{8} d^{3} x^{8} + 117625 \, b^{2} c^{6} d^{3} x^{6} + 18933 \, b^{2} c^{4} d^{3} x^{4} - 25244 \, b^{2} c^{2} d^{3} x^{2} + 50488 \, b^{2} d^{3}\right )} \sqrt{c^{2} x^{2} + 1}\right )} \log \left (c x + \sqrt{c^{2} x^{2} + 1}\right ) - 6930 \,{\left (33075 \, a b c^{10} d^{3} x^{10} + 111475 \, a b c^{8} d^{3} x^{8} + 117625 \, a b c^{6} d^{3} x^{6} + 18933 \, a b c^{4} d^{3} x^{4} - 25244 \, a b c^{2} d^{3} x^{2} + 50488 \, a b d^{3}\right )} \sqrt{c^{2} x^{2} + 1}}{13867189875 \, c^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 115.345, size = 702, normalized size = 1.51 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: NotImplementedError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]